Event Structures as Presheaves —Two Representation Theorems
نویسندگان
چکیده
منابع مشابه
Event Structures as Presheaves -Two Representation Theorems
The category of event structures is known to embed fully and faithfully in the category of presheaves over pomsets. Here a characterisation of the presheaves represented by event structures is presented. The proof goes via a characterisation of the presheaves represented by event structures when the morphisms on event structures are “strict” in that they preserve the partial order of causal dep...
متن کاملQuasi Left Factorization Structures as Presheaves
In this article the notion of quasi left factorization structure in a category X is given. It is proved that quasi left factorization structures correspond to subobjects of a predefined object in the category of laxed preordered valued presheaves, Lax(PrOrdX op ). The main result proves this correspondence is one to one when quasi left factorization structures are restricted to the so called QL...
متن کاملQuasi Right Factorization Structures as Presheaves
In this article the notion of quasi right factorization structure in a category X is given. The main result is a one to one correspondence between certain classes of quasi right factorization structures and 2-reflective subobjects of a predefined object in Lax(PrOrdX op ). Also a characterization of quasi right factorization structures in terms of images is given. As an application, the closure...
متن کاملRepresentation Theorems for Implication Structures
Professor Rasiowa [HR49] considers implication algebras (A,⇒, V ) such that ⇒ is a binary operation on the universe A and V ∈ A. In particular, there are studied implicative algebras, positive implication algebras and implication algebras; the second kind corresponds to the logic of positive implication, and the third one to the logic of classical implication. In each case, the distinguished el...
متن کاملRepresentability theorems for presheaves of spectra
The Brown representability theorem gives a list of conditions for the representablity of a set-valued contravariant functor which is defined on the classical stable homotopy category. It has had many uses through the years, and has long been part of the canon of Algebraic Topology. It is entirely reasonable to ask for a more general version of the theorem, which would give conditions on a close...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BRICS Report Series
سال: 1999
ISSN: 1601-5355,0909-0878
DOI: 10.7146/brics.v6i7.20064